Sciweavers

6530 search results - page 743 / 1306
» Application Integration
Sort
View
ITC
2003
IEEE
127views Hardware» more  ITC 2003»
16 years 22 days ago
Testing of Droplet-Based Microelectrofluidic Systems
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
Fei Su, Sule Ozev, Krishnendu Chakrabarty
RTSS
2003
IEEE
16 years 22 days ago
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Sh...
SEW
2003
IEEE
16 years 22 days ago
Addressing Software Security and Mitigations in the Life Cycle
Traditionally, security is viewed as an organizational and Information Technology (IT) systems function comprising of firewalls, intrusion detection systems (IDS), system security...
David P. Gilliam, John D. Powell, Eric Haugh, Matt...
ICAIL
2003
ACM
16 years 21 days ago
Induction of Defeasible Logic Theories in the Legal Domain
Defeasible Logic is a promising representation for legal knowledge that appears to overcome many of the deficiencies of previous approaches to representing legal knowledge. Unfor...
Benjamin Johnston, Guido Governatori
ADAEUROPE
2003
Springer
16 years 21 days ago
An Invitation to Ada 2005
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...
Pascal Leroy