2678 search results - page 118 / 536 » Operational Semantics of Transactions |
150
click to vote
DASFAA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. As mobile devices proliferate and networks become more locationaware, the corresponding growth in spatio-temporal data will demand analysis techniques to mine patterns th...
150
click to vote
BTW
2001
Springer
15 years 9 months ago
2001
Springer
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
221
click to vote
NADA
1998
Springer
15 years 8 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
132
click to vote
IGPL
2010
15 years 3 months ago
2010
Communication between natural or artificial agents relies on the use of a common vocabulary. Since sharing terms does not necessarily imply that the terms have exactly the same m...
133
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...