4693 search results - page 470 / 939 » Verifying Hybrid Systems |
200
click to vote
APSEC
2006
IEEE
16 years 1 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
194
click to vote
CSCW
2006
ACM
16 years 1 months ago
2006
ACM
As the number of alerts generated by collaborative applications grows, users receive more unwanted alerts. FeedMe is a general alert management system based on XML feed protocols ...
198
click to vote
CCGRID
2005
IEEE
16 years 21 days ago
2005
IEEE
The ability to record and account for the usage of computational resources in a standardised way across different systems from multiple administrative domains is a precursor to wi...
196
click to vote
EDCC
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
192
click to vote
DATE
2003
IEEE
16 years 11 days ago
2003
IEEE
The concept of a SOC platform architecture introduces the concept of a communication infrastructure. In the transaction-level a finite set of architecture components (memories, ar...