1884 search results - page 315 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
IFIP
1998
Springer
14 years 1 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
CMSB
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
AOSE
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Over the last five years a number of agent system development methodologies have been proposed and developed, with a number of them becoming well established and used bey...
DAGSTUHL
2004
13 years 10 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
JSAC
2010
13 years 7 months ago
2010
Abstract—Monitoring human movements using wireless sensory devices promises to revolutionize the delivery of healthcare services. Such platforms use inertial information of their...