4418 search results - page 347 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
166
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
216
click to vote
SENSYS
2009
ACM
16 years 1 months ago
2009
ACM
Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, ...
176
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
213
click to vote
ICAC
2006
IEEE
16 years 24 days ago
2006
IEEE
— Event processing systems link event producers and consumers in a flexible manner, by supporting multiple communication patterns and powerful message transformations. Such syst...
223
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
A software system interacts with third-party libraries through various APIs. Insufficient documentation and constant refactorings of third-party libraries make API library reuse ...