6660 search results - page 420 / 1332 » Highly-Available Application Integration |
163
click to vote
SOCO
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
177
click to vote
CSL
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
157
click to vote
ITC
2003
IEEE
16 years 2 days ago
2003
IEEE
The long term impact of MEMS technology will be in its ability to integrate novel sensing and actuation functionality on traditional computing and communication devices enabling t...
210
click to vote
CAISE
1998
Springer
15 years 11 months ago
1998
Springer
The distribution of the German government between Bonn and Berlin calls for the technical support for the collaborative document-based tasks performed by inter- and intra-minister...
186
click to vote
FCCM
2004
IEEE
15 years 10 months ago
2004
IEEE
A circuit and an associated lightweight protocol have been developed to secure communication between a control console and remote programmable network devices1 . The circuit provi...