15614 search results - page 61 / 3123 » The State of State |
STOC
1998
ACM
14 years 1 months ago
1998
ACM
Current formal models for quantum computation deal only with unitary gates operating on “pure quantum states”. In these models it is difficult or impossible to deal formally w...
AO
2010
13 years 9 months ago
2010
The purpose of this paper is to argue states are not organizations, but rather the objective legal persons of international law. The ontological similarities and differences betwee...
BROADNETS
2006
IEEE
14 years 2 months ago
2006
IEEE
RSVP–TE is a signaling protocol to setup and teardown lightpaths in wavelength–routed GPMLS networks. RSVP– TE uses the soft–state control mechanism to manage lightpaths. ...
ECOOP
2000
Springer
14 years 1 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
ICCD
1992
IEEE
14 years 26 days ago
1992
IEEE
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental m...