Sciweavers

1122 search results - page 18 / 225
» Behavioral Extensions of Institutions
Sort
View
IROS
2008
IEEE
130views Robotics» more  IROS 2008»
14 years 1 months ago
Flocking for multi-robot systems via the Null-Space-based Behavioral control
Abstract— In this paper the flocking problem for a multirobot system, consisting in making the robots of a team grouping together, is addressed. The flocking is achieved resort...
Gianluca Antonelli, Filippo Arrichiello, Stefano C...
APN
1999
Springer
13 years 11 months ago
Detection of Illegal Behaviors Based on Unfoldings
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
Jean-Michel Couvreur, Denis Poitrenaud
COOTS
1997
13 years 8 months ago
MiSFIT: A Tool for Constructing Safe Extensible C++ Systems
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
Christopher Small
ERCIMDL
2009
Springer
132views Education» more  ERCIMDL 2009»
14 years 1 months ago
Matching Multi-lingual Subject Vocabularies
Most libraries and other cultural heritage institutions use controlled knowledge organisation systems, such as thesauri, to describe their collections. Unfortunately, as most of th...
Shenghui Wang, Antoine Isaac, Balthasar A. C. Scho...
MMNS
2000
98views Multimedia» more  MMNS 2000»
13 years 8 months ago
Automating Internet Routing Behavior Analysis Using Public WWW Traceroute Services
: Growing dependence of commerce, industry and academia on the Internet underlines importance of analyzing its behavior. Changing Internet structure makes the gathered data quickly...
Selim Gurun, Boleslaw K. Szymanski