156 search results - page 31 / 32 » Logic for Computational Effects: Work in Progress |
DAC
2003
ACM
14 years 11 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
COOPIS
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
CGA
2005
13 years 10 months ago
2005
visualization to abstract data sets like network intrusion detection, recommender systems, and database query results. Although display algorithms are a critical component in the v...
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
— Modern cities are becoming increasingly networked Network Operator and the Service Providers can introduce environments and a plethora of computing equipment interacts their ow...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...