4290 search results - page 284 / 858 » Formal Approaches to Teamwork |
186
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
169
click to vote
EDOC
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...
186
click to vote
ISOLA
2004
Springer
16 years 5 days ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
174
click to vote
ER
2003
Springer
16 years 1 days ago
2003
Springer
Existing solutions to data and schema integration require user interaction/input to generate a data transformation between two different schemas. These approaches are not appropri...
156
click to vote
ISCIS
2003
Springer
16 years 5 hour ago
2003
Springer
One of the important tasks during software testing is the generation of test cases. Unfortunately, existing approaches to test case generation often have problems limiting their us...