2025 search results - page 344 / 405 » A Reliable Software Architecture for Complex Embedded System... |
160
click to vote
SERA
2004
Springer
15 years 9 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
153
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
150
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
139
click to vote
IPSN
2007
Springer
15 years 10 months ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
236
click to vote
ICDE
2005
IEEE
16 years 5 months ago
2005
IEEE
We demonstrate a web service and client application for querying and visualizing datasets defined over arbitrary topological grids. Such gridded datasets are produced by Earth sci...