4035 search results - page 341 / 807 » Useless Actions Are Useful |
154
Voted
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
226
click to vote
EUROSSC
2009
Springer
16 years 1 months ago
2009
Springer
A major challenge in using multi-modal, distributed sensor systems for activity recognition is to maintain a temporal synchronization between individually recorded data streams. A ...
201
click to vote
BIBE
2006
IEEE
16 years 25 days ago
2006
IEEE
We show how chemical background knowledge can be used to improve the prediction performance in structureactivitity relationships (SARs) for non-congeneric compounds. The goal of t...
160
click to vote
APSEC
2005
IEEE
16 years 11 days ago
2005
IEEE
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...
190
click to vote
EDOC
2005
IEEE
16 years 11 days ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...