7380 search results - page 949 / 1476 » Engineering Software Intensive Systems |
169
click to vote
MSR
2006
ACM
16 years 11 days ago
2006
ACM
Modern source-control systems, such as Subversion, preserve change-sets of files as atomic commits. However, the specific ordering information in which files were changed is typic...
151
click to vote
IUI
2005
ACM
15 years 12 months ago
2005
ACM
This paper reports on TaskTracer — a software system being designed to help highly multitasking knowledge workers rapidly locate, discover, and reuse past processes they used to...
162
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
188
Voted
FASE
2005
Springer
15 years 12 months ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
163
click to vote
SEKE
2005
Springer
15 years 12 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...