746 search results - page 70 / 150 » Formal Analysis of UML-Based Designs |
111
click to vote
ISCIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
104
click to vote
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
107
click to vote
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
Embedded networks for chip-to-chip networks are emerging as communication infrastructure in mobile devices. We present three novel embedded network protocols: a sliding window prot...
107
click to vote
SOCO
2008
Springer
15 years 1 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
123
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...