2878 search results - page 483 / 576 » Analyzing the Uses of a Software Modeling Tool |
197
click to vote
RULEML
2009
Springer
16 years 27 days ago
2009
Springer
Rule bases are increasingly being used as repositories of knowledge content on the Semantic Web. As the size and complexity of these rule bases s, developers and end users need met...
186
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
214
click to vote
USS
2008
15 years 8 months ago
2008
Antivirus software is one of the most widely used tools for detecting and stopping malicious and unwanted files. However, the long term effectiveness of traditional hostbased anti...
179
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Intelligent tutoring systems have demonstrated their utility in a variety of domains. However, they are notoriously resource intensive to build. We report here on the development ...
155
click to vote
NORDICHI
2006
ACM
16 years 9 days ago
2006
ACM
The ixi software is an ongoing interdisciplinary research project. It focuses on the creation of screen-based interfaces as digital musical instruments. The notion of situated cog...