1318 search results - page 17 / 264 » The formal semantics of the timeER model |
134
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
101
Voted
ESORICS
2000
Springer
15 years 5 months ago
2000
Springer
We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety...
101
Voted
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
202
click to vote
AMAI
2011
Springer
14 years 1 months ago
2011
Springer
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
136
Voted
ER
2008
Springer
15 years 3 months ago
2008
Springer
Due to a turbulent market enterprises should be able to adapt their business processes in a quick and flexible way. This requires adaptive process-aware information systems (PAISs)...