3993 search results - page 318 / 799 » Matchmaking for Structured Objects |
142
click to vote
ECIS
2000
15 years 5 months ago
2000
Even though security requirements in health care are traditionally high, most computerized health care applications lack sophisticated security measures or focus only on single sec...
169
click to vote
ROOM
2000
15 years 5 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
129
click to vote
ENTCS
2006
15 years 4 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
145
click to vote
JVCA
2008
15 years 4 months ago
2008
Imagine an object such as a paper sheet being waved in front of some sensor. Reconstructing the time-varying 3D shape of the object finds direct applications in computer animation...
117
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
This paper discusses the notion of necessity in the light of results from contemporary mathematical practice. Two descriptions of necessity are considered. According to the first, ...