10042 search results - page 1525 / 2009 » Interactive Topic Modeling |
210
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
242
click to vote
WSC
2007
15 years 9 months ago
2007
Large, heterogeneous volumes of simulation data are calculated and stored in many disciplines, e.g. in climate and climate impact research. To gain insight, current climate analys...
191
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Service-Oriented Computing and Agent Technology are nowadays two of the most active research fields in distributed and open systems. However, when trying to bridge the two worlds,...
174
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
This paper describes "Second Life" as a novel type of testbed and simulation environment for sensor-based applications. Second Life is a popular virtual online world tha...
240
click to vote
IEEESCC
2010
IEEE
15 years 9 months ago
2010
IEEE
Service-oriented Architectures (SOA) facilitate the provision and orchestration of business services to enable a faster adoption to changing business demands. Web Services provide...