Sciweavers

950 search results - page 21 / 190
» Machine semantics
Sort
View
99
Voted
ISSTA
2004
ACM
15 years 5 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
LCTRTS
2000
Springer
15 years 3 months ago
Automatic Validation of Code-Improving Transformations
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
Robert van Engelen, David B. Whalley, Xin Yuan
116
Voted
TOOLS
2000
IEEE
15 years 4 months ago
More Meaningful UML Models
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
Ileana Ober
CICLING
2009
Springer
16 years 25 days ago
Semantic Clustering for a Functional Text Classification Task
Abstract. We describe a semantic clustering method designed to address shortcomings in the common bag-of-words document representation for functional semantic classification tasks....
Thomas Lippincott, Rebecca J. Passonneau
ICALT
2008
IEEE
15 years 6 months ago
A Semantic Infrastructure to Support a Federation of Agricultural Learning Repositories
This paper discusses how Semantic Web technologies are being adopted, specialized, and put in practice in order to set up a technical infrastructure that will facilitate sharing a...
Nikos Manouselis, Alberto Abian, Jesús Soto...