7099 search results - page 362 / 1420 » Context for models of concurrency |
257
Voted
EDOC
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Enterprise Architecture approaches are used to provide rigorous descriptions of the organization-wide environment, manage the alignment of deployed services to the organ...
277
click to vote
CONTEXT
2011
Springer
14 years 7 months ago
2011
Springer
Pervasive computing envisions implicit interaction between people and their intelligent environments instead of individual devices, inevitably leading to groups of individuals inte...
195
Voted
INFORMATICALT
2002
15 years 7 months ago
2002
The goal of the paper is to create a model for investigating the character of relationships between the freedom and restrictions in the terrorism context, in order to find out how ...
278
click to vote
ICDE
1996
IEEE
16 years 9 months ago
1996
IEEE
A multimedia presentation refers to the presentation of multimedia data using output devices such as monitors for text and video, and speakers for audio. Each presentation consist...
217
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...