12981 search results - page 2146 / 2597 » Model Checking (Abstract) |
196
Voted
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...
225
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
188
click to vote
ICSOC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...
206
click to vote
CODES
2006
IEEE
16 years 23 days ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
232
click to vote
CAV
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...