16616 search results - page 3017 / 3324 » Extending Extended Vacuity |
169
click to vote
FOSSACS
2005
Springer
16 years 8 days ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
184
click to vote
GI
2005
Springer
16 years 8 days ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
198
click to vote
GI
2005
Springer
16 years 8 days ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
187
click to vote
HPCC
2005
Springer
16 years 8 days ago
2005
Springer
Nowadays the success of many e-commerce applications, such as on-line banking, depends on their reliability, robustness and security. Designing a web server architecture that keep...
209
click to vote
HPCC
2005
Springer
16 years 8 days ago
2005
Springer
S-MAC is a MAC (Medium Access Control) protocol as specialized for the wireless sensor network in order to sacrifice transmission delay and extend the working life of the whole sen...