Sciweavers

14642 search results - page 311 / 2929
» It's Time for a Change
Sort
View
JOT
2010
96views more  JOT 2010»
15 years 5 months ago
UML Profiles for Modeling Real-Time Communication Protocols
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
Barath Kumar, Jürgen Jasperneite
CSMR
2006
IEEE
16 years 26 days ago
IntensiVE, a toolsuite for documenting and checking structural source-code regularities
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
Kim Mens, Andy Kellens
ICDE
2008
IEEE
125views Database» more  ICDE 2008»
16 years 8 months ago
Just-In-Time Processing of Continuous Queries
In a data stream management system, a continuous query is processed by an execution plan consisting of multiple operators connected via the "consumer-producer" relationsh...
Yin Yang, Dimitris Papadias
SEFM
2009
IEEE
16 years 1 months ago
Implementation Correctness of a Real-Time Operating System
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
FORMATS
2009
Springer
16 years 1 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele