932 search results - page 87 / 187 » Verifying Progress in Timed Systems |
130
click to vote
ISCC
2008
IEEE
15 years 10 months ago
2008
IEEE
Network monitoring is a complex task that generally requires the use of different tools for specific purposes. This paper describes a flexible network monitoring tool, called Pa...
132
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
136
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
The distributed object group framework (DOGF) enables easier integration of distributed objects to healthcare home applications. This paper describes a healthcare information manag...
153
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
A semi-auto system is developed to acquire playerpossession for broadcast soccer video, whose objective is to minimize the manual work. This research is important because acquirin...
116
click to vote
SAC
2010
ACM
15 years 5 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...