567 search results - page 39 / 114 » Play the Language: Play Coreference |
152
click to vote
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
136
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestration language and an associated behavioural typing l...
135
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
165
click to vote
C3S2E
2008
ACM
15 years 5 months ago
2008
ACM
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...
124
click to vote
BALT
2006
15 years 8 months ago
2006
In philosophy, the term ontology has been used since the 17th century to refer both to a philosophical discipline (Ontology with a capital "O"), and as a domain-independe...