2685 search results - page 338 / 537 » A Formal Semantics for SPKI |
175
click to vote
WWW
2006
ACM
16 years 16 days ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
174
click to vote
HICSS
2005
IEEE
16 years 5 days ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
201
click to vote
ISORC
2005
IEEE
16 years 5 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
168
click to vote
DSOM
2005
Springer
16 years 3 days ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...
179
click to vote
WAIM
2005
Springer
16 years 1 days ago
2005
Springer
It is well known that a formal framework for the schema matching problem (SMP) is important because it facilitates the building of algorithm model and the evaluation of algorithms....