2296 search results - page 268 / 460 » The Expressive Power of Synchronizations |
190
Voted
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
172
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Marshaling is the process through which structured values are serialized into a stream of bytes; demarshaling converts this stream of bytes back to structured values. Most often, ...
200
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
150
click to vote
NDSS
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe a system for achieving PNNI (Private Network-Network Interface) Global Routing Infrastructure Protection (PGRIP). We give details of PGRIP's system-level design a...
172
click to vote
LOPSTR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...