5863 search results - page 951 / 1173 » On Model-Checking of P Systems |
151
click to vote
NOSSDAV
1992
Springer
15 years 10 months ago
1992
Springer
Tactus addresses problems of synchronizing and controlling various interactive continuous-time media. The Tactus system consists of two main parts. The first is a server that synch...
179
click to vote
ASSETS
2007
ACM
15 years 10 months ago
2007
ACM
People often use computers other than their own to browse the web, but blind web users are limited in where they access the web because they require specialized, expensive program...
166
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
The vision of ubiquitous computing is one in which resource constrained mobile devices form ad-hoc networks to enable the delivery of services that are sensitive and responsive to...
161
click to vote
C5
2004
IEEE
15 years 10 months ago
2004
IEEE
1 A new architecture like Croquet presents numerous opportunities and challenges to create useful interfaces to enable access to the underlying power of the system. In particular, ...
156
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but ...