1525 search results - page 234 / 305 » Formal Models for Communication-Based Design |
91
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
155
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
132
Voted
EICS
2009
ACM
15 years 10 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
120
click to vote
APN
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific ...
125
click to vote
IS
2008
15 years 3 months ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...