1419 search results - page 173 / 284 » Notes on Formalizing Context |
104
Voted
ACSD
2005
IEEE
15 years 6 months ago
2005
IEEE
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
102
Voted
AINA
2005
IEEE
15 years 6 months ago
2005
IEEE
The number of web-based information systems has been increasing since Internet became the global open network accessible for all. The recent Semantic Web that provides supplementa...
90
Voted
FDL
2005
IEEE
15 years 6 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
100
Voted
WIOPT
2005
IEEE
15 years 6 months ago
2005
IEEE
Wireless ad hoc networks raised a series of challenging research tracks. In order to analyze and validate research results achieved, thorough performance evaluation efforts are ne...
116
Voted
ICAIL
2005
ACM
15 years 6 months ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...