2830 search results - page 397 / 566 » No Science without Semantics |
138
Voted
CF
2010
ACM
15 years 8 months ago
2010
ACM
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...
114
Voted
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
128
Voted
AOSD
2010
ACM
15 years 8 months ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...
143
click to vote
APN
2010
Springer
15 years 8 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
146
Voted
ESWS
2010
Springer
15 years 8 months ago
2010
Springer
Recently, the publishing of structured, semantic information as linked data has gained quite some momentum. For ordinary users on the Internet, however, this information is not yet...