700 search results - page 37 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
FAC
2000
14 years 9 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
FAST
2008
15 years 4 days ago
2008
TierStore is a distributed filesystem that simplifies the development and deployment of applications in challenged network environments, such as those in developing regions. For e...
ENTCS
2008
14 years 10 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
106
click to vote
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Automated techniques and tools are required to effectively locate services that fulfill a given user request in a mobility context. To this purpose, the use of semantic description...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
A modelling procedure consists of a sequence of modelling tasks. With the increasing size of models during the development, the relations among modelling objects and their correspo...