1122 search results - page 102 / 225 » Behavioral Extensions of Institutions |
179
click to vote
VLDB
2003
ACM
15 years 10 months ago
2003
ACM
The efficient retrieval of data items on set-valued attributes is an important research topic that has attracted little attention so far. We studied and modified four index structu...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
Human behavior and housing resist every standardization effort. Many aspects such as different technical equipment, furniture, and usage patterns make our surroundings as individu...
FASE
2009
Springer
15 years 4 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
In this Chapter we present the modification of a Differential Evolution algorithm to solve constrained optimization problems. The changes include a deterministic and a self-adapti...