3677 search results - page 306 / 736 » An Architecture for Developing Context-Aware Systems |
184
click to vote
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
174
Voted
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
In software product line (SPL) development, evolutions occur in core assets and application products. How to ensure their alignment in evolution is a big challenge. Products in an...
197
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
257
Voted
FAABS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
173
click to vote
ICAISC
2004
Springer
16 years 3 days ago
2004
Springer
The advent of the Internet has strongly influenced modern software systems. Existing intranet solutions are being gradually replaced with www services available everywhere and at ...