Searching for authors named "Francisco Martins" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
Typing Migration Control in lsdπ
- …Typing migration control in lsdπ. Francisco Martins ∗ António Ravara † Abstract This paper…
- Add To MetaCart
-
Controlling Security Policies in a Distributed Environment
- …Controlling security policies in a distributed environment Francisco Martins Vasco Vasconcelos DI…
- Cited by 5 (3 self) – Add To MetaCart
-
Typing migration control in lsdπ
- …Typing migration control in lsdπ. Francisco Martins 1 and António Ravara 2 1 Department…
- Cited by 3 (2 self) – Add To MetaCart
-
Static Control of Code Migration
- …Static control of code migration Francisco Martins 1 and António Ravara 2 1 Departamento de…
- Add To MetaCart
-
TyCO + Linear channels
- …TyCO + Linear channels Francisco Martins Vasco T. Vasconcelos DI–FCUL TR–01–11 December 2001…
- Cited by 1 (1 self) – Add To MetaCart
-
A multithreaded typed assembly language
- … Engineering for Service-Oriented Overlay Computers”. TV 06 Seattle, USA Francisco Martins Departments…
- Cited by 5 (5 self) – Add To MetaCart
-
Faculty of Sciences
- …Bisimulations in SSCC Luís Cruz-Filipe Ivan Lanese Francisco Martins António Ravara Vasco…
- Add To MetaCart
-
unknown title
- …-Filipe2, Ivan Lanese1, Francisco Martins2,Ant'onio Ravara 3, and Vasco T. Vasconcelos2 1 Computer…
- Add To MetaCart
-
Compiling the π-calculus into a Multithreaded Typed Assembly Language
- … ∗ Francisco Martins ∗ Vasco T. Vasconcelos ∗ Introduction. Current trends in hardware made available multi…
- Add To MetaCart
-
Typed Assembly Language
- …Compiling the π-calculus into a Multithreaded Typed Assembly Language Tiago Cogumbreiro Francisco…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
