3782 search results - page 428 / 757 » Engineering Social Order |
160
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
155
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We improve on previous recommender systems by taking advantage of the layered structure of software. We use a random-walk approach, mimicking the more focused behavior of a develo...
159
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
196
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Loose coupling is often quoted as a desirable property of systems architectures. One of the main goals of building systems using Web technologies is to achieve loose coupling. How...
194
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Some recent initiatives try to take profit from RDF to make XML documents interoperate at the semantic level. Ontologies are used to establish semantic connections among XML langu...