4286 search results - page 408 / 858 » Formalizing Service Interactions |
173
click to vote
EGOV
2010
Springer
15 years 7 months ago
2010
Springer
E-government has emerged as one of the most promising means to reform the public sector. E-government is now being used to improve services for assisted living. The purpose of assi...
174
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
This paper presents a new service-oriented approach to the design and implementation of visualization systems in a Grid computing environment. The approach evolves the traditional...
137
Voted
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Multi-agent systems are an attractive approach to modeling systems of interacting entities, but in some cases mathematical models of these systems can offer complementary benefits...
201
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
155
click to vote
SDB
1995
15 years 10 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...