4799 search results - page 735 / 960 » Model Based Requirements Engineering for Embedded Software |
166
click to vote
QOSA
2007
Springer
16 years 19 days ago
2007
Springer
Different organizations or organizational units are likely to store and maintain different types of information about their software architectures. This inhibits effective manageme...
209
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
151
click to vote
JUCS
2010
15 years 5 months ago
2010
: There are many examples of augmented objects in the literature. Augmented objects should provide intelligence to the ambient where they are located and also they must require a l...
152
click to vote
MM
2000
ACM
15 years 11 months ago
2000
ACM
Images are increasingly being embedded in HTML documents on the WWW. Such documents over the WWW essentially provides a rich source of image collection from which users can query....
177
click to vote
MSR
2005
ACM
16 years 2 days ago
2005
ACM
This paper introduces a collaborative project OSSmole which collects, shares, and stores comparable data and analyses of free, libre and open source software (FLOSS) development f...