Sciweavers

9210 search results - page 292 / 1842
» Analyzing Real-Time Systems
Sort
View
ENTCS
2006
139views more  ENTCS 2006»
15 years 24 days ago
Goto and Concurrency Introducing Safe Jumps in Esterel
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
Olivier Tardieu
IWINAC
2005
Springer
15 years 6 months ago
MEPIDS: Multi-Expression Programming for Intrusion Detection System
Abstract. An Intrusion Detection System (IDS) is a program that analyzes what happens or has happened during an execution and tries to find indications that the computer has been ...
Crina Grosan, Ajith Abraham, Sang-Yong Han
89
Voted
IJVR
2008
119views more  IJVR 2008»
15 years 23 days ago
Agent-based Intelligence Decision Support System for Virtual Greenhouse
In facility agriculture, it is an urgent problem to design and choose the type and facility of greenhouse based on user's requirements, which are always difficult to express c...
Wei Wei, Xinyu Guo, Shenglian Lu, Chunjiang Zhao
96
Voted
IWANN
2009
Springer
15 years 5 months ago
Stereo-MAS: Multi-Agent System for Image Stereo Processing
This article presents a distributed agent-based architecture that can process the visual information obtained by stereoscopic cameras. The system is embedded within a global projec...
Sara Rodríguez, Juan Francisco de Paz, Javi...
RTCSA
2005
IEEE
15 years 6 months ago
Citron: A Context Information Acquisition Framework for Personal Devices
This paper describes a context information acquisition framework for a personal device that equips a variety of sensors. The framework captures context information about a user an...
Tetsuo Yamabe, Ayako Takagi, Tatsuo Nakajima