Sciweavers

2317 search results - page 273 / 464
» Model based testing for agent systems
Sort
View
99
Voted
RTSS
2009
IEEE
15 years 10 months ago
Gang EDF Scheduling of Parallel Task Systems
The preemptive real-time scheduling of sporadic parallel task systems is studied. We present an algorithm, called Gang EDF, which applies the Earliest Deadline First (EDF) policy ...
Shinpei Kato, Yutaka Ishikawa
HICSS
1995
IEEE
93views Biometrics» more  HICSS 1995»
15 years 6 months ago
Generating optimization-based decision support systems
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
Arthur Geoffrion, Sergio Maturana
85
Voted
ANSS
2005
IEEE
15 years 9 months ago
Autonomic Web-Based Simulation
Many scientific simulations are large programs which despite careful debugging and testing will probably contain errors when deployed to the Web for use. Based on the assumption ...
Yingping Huang, Gregory R. Madey
ICOST
2007
Springer
15 years 9 months ago
Characterizing Safety of Integrated Services in Home Network System
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken...
112
Voted
CORR
2011
Springer
146views Education» more  CORR 2011»
14 years 7 months ago
Exploratory simulation of an Intelligent Iris Verifier Distributed System
— This paper discusses some topics related to the latest trends in the field of evolutionary approaches to iris recognition. It presents the results of an exploratory experimenta...
Nicolaie Popescu-Bodorin, Valentina E. Balas