1078 search results - page 149 / 216 » Modelling and Verifying of e-Commerce Systems |
263
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
150
click to vote
ISORC
2000
IEEE
15 years 9 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
152
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
177
click to vote
WECWIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Service portals are systems which expose a bundle of web services to the user, allowing the specification and subsequent execution of complex tasks defined over these individual...
233
click to vote
CCE
2007
15 years 6 months ago
2007
: The concept of Virtual Organisation (VO) offers various solutions to management, collaboration and coordination issues important for distributed collaborating teams. Deployment o...