5267 search results - page 655 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
184
click to vote
ISSTA
2004
ACM
16 years 7 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
219
Voted
ICCS
2007
Springer
16 years 29 days ago
2007
Springer
Assimilation of spatially- and temporally-distributed state observations into simulations of dynamical systems stemming from discretized PDEs leads to inverse problems with high-di...
202
click to vote
PET
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes a new attack on the anonymity of web browsing with Tor. The attack tricks a user’s web browser into sending a distinctive signal over the Tor network that ca...
228
click to vote
IHIS
2005
ACM
16 years 11 days ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
167
click to vote
SOCO
2005
Springer
16 years 9 days ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...