11374 search results - page 40 / 2275 » A System Demonstration of ST-TCP |
WCRE
2006
IEEE
14 years 2 months ago
2006
IEEE
In this demonstration, we present MELIS (Migration Environment for Legacy Information Systems) an integrated environment for the migration of legacy systems to a multi-tier web-ba...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
ITC
1998
IEEE
14 years 23 days ago
1998
IEEE
The ability to make in-situ performance measurements of MEMS operating at high speeds has been demonstrated using a new image analysis system. Significant improvements in performa...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
This demonstration presents the concepts, design, and implementation of SCDE, a relational database systems extended with the ability to solve constraint satisfaction problems (CS...
BC
2000
13 years 8 months ago
2000
The existence and utilization of an internal representation of the controlled object is one of the most important features of the functioning of neural motor control systems. This ...