4460 search results - page 639 / 892 » Formal methods for interactive systems |
156
click to vote
WCE
2007
15 years 7 months ago
2007
—This paper studies the cardiovascular response under heart failure condition supported by two types of ventricular assist devices (VADs): the positive displacement pump and the ...
190
click to vote
ITSSA
2006
15 years 6 months ago
2006
: Organization is a central concept in systems. In this paper an ant algorithm for detecting organizations is presented. In a discrete-time context, at each time-step, an organizat...
187
click to vote
IEEEARES
2006
IEEE
16 years 17 days ago
2006
IEEE
The raising need for e-government applications leads to many new approaches in this sector. To fulfill the requirement for a flexible government-to-government (G2G) software sys...
180
click to vote
PDPTA
2000
15 years 7 months ago
2000
Object middleware, such as CORBA, is rapidly gaining acceptance as a means for cost effective and fast development for a wide range of applications in various areas of industry. St...
164
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Intrusion Detection System (IDS) is an important security enforcement tool in modern networked information systems. Obtaining an optimal IDS configuration for effective detection o...