Sciweavers

1360 search results - page 161 / 272
» Risk Analysis with Information Described in Natural Language
Sort
View
91
Voted
ISSTA
2004
ACM
15 years 4 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
89
Voted
SAC
2008
ACM
14 years 10 months ago
Removing useless variables in cost analysis of Java bytecode
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
IDEAS
1997
IEEE
107views Database» more  IDEAS 1997»
15 years 3 months ago
Query Processing in the ROL system
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language fo...
Mengchi Liu, Weidong Yu
VL
2007
IEEE
116views Visual Languages» more  VL 2007»
15 years 5 months ago
A Sequent Based Logic for Coincidence Grids
Information is often represented in tabular format in everyday documents such as balance sheets, sales figures, and so on. Tables represent an interesting point in the spectrum o...
Dave Barker-Plummer, Nik Swoboda
79
Voted
CAISE
2005
Springer
15 years 4 months ago
A Method for Ontology Modeling in the Business Domain
Today ontology languages present a syntax which looks not “natural” and are lacking of built-in primitives (i.e., modeling notions) domain experts are familiar with. In this pa...
Michele Missikoff, Federica Schiappelli