2272 search results - page 379 / 455 » A Calculus for |
ACSC
2006
IEEE
14 years 4 months ago
2006
IEEE
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...
CSFW
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper we formally study important properties of electronic voting protocols. In particular we are interested in coercion-resistance and receipt-freeness. Intuitively, an e...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
We propose here to deal with the optimization of velocity profiles of manipulator robots with a minimum time criterion subject to thermal constraints. This paper deals with the r...
LICS
2006
IEEE
14 years 4 months ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...