5863 search results - page 744 / 1173 » On Model-Checking of P Systems |
178
Voted
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The aim of our research is to provide a unified model for the composition and management of consumer care services. We identify design, composition, distribution and management as...
169
Voted
ISCAS
2006
IEEE
16 years 27 days ago
2006
IEEE
In recent times, much attention has been devoted to power optimization for real-time systems, while guaranteeing that such systems meet their hard (or soft) scheduling deadlines. ...
181
click to vote
HICSS
2005
IEEE
16 years 14 days ago
2005
IEEE
Many information systems (IS) studies portray use as an indicator of system success. However, “simply saying that more use will yield more benefits without considering the natur...
169
Voted
ARCS
2005
Springer
16 years 12 days ago
2005
Springer
With an ever-growing number of computers being embedded into our surroundings, the era of ubiquitous computing is approaching fast. However, as the number of networked devices incr...
157
Voted
ECAI
2004
Springer
16 years 8 days ago
2004
Springer
This paper presents the design and development of an adaptive planning system using the technology of Web services. The Web-based adaptive planning system consists of two modules t...