1791 search results - page 118 / 359 » Behavioral Operations |
147
click to vote
SOSP
1997
ACM
15 years 6 months ago
1997
ACM
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
112
Voted
IJCAI
1989
15 years 5 months ago
1989
We address two issues which arise in the task of detecting anomalous behavior in complex systems with numerous sensor channels: how to adjust alarm thresholds dynamically, within ...
135
Voted
JUCS
2006
15 years 4 months ago
2006
: PEWS is a language for the implementation of web service interfaces. PEWS programs can be used for the description of both individual and composed web services. Individual web se...
112
click to vote
SCL
2008
15 years 4 months ago
2008
Abstract-- In this work, we focus on a class of nonlinear asynchronous systems defined by two different modes of operation, one stable and the other one unstable. The switching bet...
136
click to vote
DLOG
2010
15 years 2 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...