5334 search results - page 507 / 1067 » Communicating quantum processes |
193
click to vote
HICSS
2005
IEEE
16 years 22 days ago
2005
IEEE
Achieving information assurance and security is a complex and challenging task, which is crucial from national and personal security point of views. Research in detecting deceptiv...
226
click to vote
LICS
2005
IEEE
16 years 21 days ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
188
Voted
GROUP
2005
ACM
16 years 21 days ago
2005
ACM
VERN is an online collaborative tool that coordinates and distributes the process of finding optimal meeting times across the members of a group. The system combines the underlyin...
192
click to vote
CSL
2004
Springer
16 years 15 days ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
191
click to vote
ICCSA
2004
Springer
16 years 15 days ago
2004
Springer
The use of ontologies lies at the very heart of the newly emerging era of Semantic Web. They provide a shared conceptualization of some domain that may be communicated between peop...