3814 search results - page 539 / 763 » Extensible Information Brokers |
224
click to vote
ESCIENCE
2007
IEEE
15 years 11 months ago
2007
IEEE
Provenance management has become increasingly important to support scientific discovery reproducibility, result interpretation, and problem diagnosis in scientific workflow enviro...
170
click to vote
RTA
2010
Springer
15 years 11 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
217
click to vote
FORMATS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
201
click to vote
WCNC
2010
IEEE
15 years 11 months ago
2010
IEEE
āThe Disruption Tolerant Networks (DTNs) are vulnerable to insider attacks, in which the legitimate nodes are compromised and the adversary modiļ¬es the delivery metrics of the ...
173
click to vote
GSN
2009
Springer
15 years 11 months ago
2009
Springer
We envision participatory texture documentation (PTD) as a process in which a group of participants (dedicated individuals and/or general public) with camera-equipped mobile phones...