4266 search results - page 305 / 854 » A Framework for Defining Logics |
211
Voted
JAR
2000
15 years 7 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
172
Voted
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
192
click to vote
WSC
1998
15 years 8 months ago
1998
Based on the DIS result, the HLA framework has been defined to achieve interoperability of independent simulators. Concurrently, and for the most part, independent of that effort,...
196
Voted
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
A service-oriented architecture enables composite applications that support business processes to be defined and built dynamically from loosely coupled and interoperable web servi...
196
click to vote
ADBIS
2001
Springer
15 years 12 months ago
2001
Springer
Due to the rapid growth of the Web, there is an increasing need for methodologies that support the design of Web-based Information Systems (WIS). After investigating the applicatio...