1711 search results - page 134 / 343 » Consistency management in Deno |
159
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
171
click to vote
EMISA
2006
Springer
15 years 10 months ago
2006
Springer
: This paper summarizes how an algebra for mobile systems, the -calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounte...
199
click to vote
EUROSSC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a surveillance system for tracking multiple people through a wide area with sparsely distributed cameras. The computational core of the system is an a...
176
click to vote
CAISE
1995
Springer
15 years 10 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
169
click to vote
ICECCS
1995
IEEE
15 years 10 months ago
1995
IEEE
Design, performance management, and capacity planning of client/server applications in the commercial enterprise depends on the ability to model these distributed applications at ...