3979 search results - page 372 / 796 » Wild control operators |
224
click to vote
FROCOS
2007
Springer
16 years 29 days ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
199
click to vote
ICAC
2006
IEEE
16 years 25 days ago
2006
IEEE
— In this short paper, we give a brief overview a simulation environment, SimEAC, which was designed for testing algorithms with strong autonomic features. SimEAC enables a user ...
171
Voted
ITICSE
2006
ACM
16 years 23 days ago
2006
ACM
: This paper presents a novel elearning platform called IREEL. IREEL is a virtual laboratory allowing students to drive experiments with real...
227
click to vote
EDOC
2005
IEEE
16 years 12 days ago
2005
IEEE
Data Warehouse (DWH) information is accessed by business processes, and sometimes may also initiate changes of the control flow of business process instances. Today, there are no ...
195
click to vote
WCRE
2005
IEEE
16 years 11 days ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...