7971 search results - page 42 / 1595 » On unbounded operators and applications |
92
Voted
APN
2001
Springer
15 years 5 months ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
DCC
1998
IEEE
15 years 5 months ago
1998
IEEE
The increasing importance of Unicode for text files, for example with Java and in some modern operating systems, implies a possible doubling of data storage space and data transmi...
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
82
Voted
DC
2008
15 years 24 days ago
2008
This paper introduces solo-valency, a variation on the valency proof technique originated by Fischer, Lynch, and Paterson. The new technique focuses on critical events that influe...
90
Voted
EDOC
2006
IEEE
15 years 6 months ago
2006
IEEE
Service oriented software architectures will form the core of operational enterprise IT landscapes in the future.