3573 search results - page 40 / 715 » Reasoning about Codata |
137
Voted
AI
2005
Springer
15 years 12 days ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
113
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
109
click to vote
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
114
Voted
ECMDAFA
2008
Springer
15 years 1 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
117
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...