2688 search results - page 146 / 538 » A formal semantics for P3P |
159
click to vote
DCOSS
2007
Springer
16 years 20 days ago
2007
Springer
With the proliferation of various kinds of sensor networks, we will see large amounts of heterogeneous data. They have different characteristics such as data content, formats, mod...
181
click to vote
EDOC
2005
IEEE
16 years 3 days ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
208
click to vote
EDOC
2009
IEEE
15 years 10 months ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
158
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...
173
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...