3979 search results - page 515 / 796 » Wild control operators |
156
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
155
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
Predictive p-persistent CSMA protocol is an important MAC solution developed for networked sensor/control applications and used in Local Operating Networks (LonWorks) technology. T...
195
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
164
click to vote
CEC
2003
IEEE
15 years 10 months ago
2003
IEEE
Most embedded systemshave tightconstraints on power consumption because the amonnt of power available to these systems is limited due to the limitation ofbattery life. For this rea...
160
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. An architecture that provides personalised filtering and dissemination of news items is presented. It is based on user profiles and it provides mechanisms that allow the ...