Sciweavers

1398 search results - page 134 / 280
» Ensuring Properties of Interaction Systems
Sort
View
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 4 months ago
Multi Site Coordination using a Multi-Agent System
A new approach of coordination of decisions in a multi site system is proposed. It is based this approach on a multi-agent concept and on the principle of distributed network of e...
Thibaud Monteiro, Daniel Roy, Didier Anciaux
IVC
2008
101views more  IVC 2008»
15 years 4 months ago
A system for processing handwritten bank checks automatically
In the US and many other countries, bank checks are preprinted with the account number and the check number in MICR ink and format; as such, these two numeric fields can be easily...
Rafael Palacios, Amar Gupta
WIKIS
2009
ACM
15 years 9 months ago
SAVVY Wiki: a context-oriented collaborative knowledge management system
This paper presents a new Wiki called SAVVY Wiki that realizes context-oriented, collective and collaborative knowledge management environments that are able to reflect users’ i...
Takafumi Nakanishi, Koji Zettsu, Yutaka Kidawara, ...
AUTOMATICA
2000
94views more  AUTOMATICA 2000»
15 years 4 months ago
Mutually nonblocking supervisory control of discrete event systems
For discrete event systems, modular supervisory control refers to modular design of a supervisor when multiple control specifications are given. This problem has been studied for ...
M. Fabian, R. Kumar
SIGCOMM
2004
ACM
15 years 10 months ago
A system for authenticated policy-compliant routing
Internet end users and ISPs alike have little control over how packets are routed outside of their own AS, restricting their ability to achieve levels of performance, reliability,...
Barath Raghavan, Alex C. Snoeren