5900 search results - page 402 / 1180 » Dependable Systems |
195
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
135
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses a business scenario based on socalled tradable micro-services which is intended to explain the dynamics of a market to which actors contribute both as consume...
143
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper proposes a theory of encapsulation, taking the internationally standardized definition of that term and establishing a relationship between subsets and the elements tha...
191
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
Abstract. The paper presents an intelligent GIS architecture that enables us to extend GIS functionality by using domain specific knowledge and inference engine. In this architectu...
163
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—The Internet has become a cost-effective vehicle for software development and release, particular in the free software community. Given the free nature of this software, there a...