548 search results - page 80 / 110 » Adding Real Time to Formal Program Development |
WCRE
2007
IEEE
15 years 3 months ago
2007
IEEE
Comments are valuable especially for program understanding and maintenance, but do developers comment their code? To which extent do they add comments or adapt them when they evol...
107
click to vote
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...
102
click to vote
INFOCOM
2012
IEEE
13 years 3 days ago
2012
IEEE
—With the proliferation of mobile devices in both smartphone and tablet form factors, it is intuitive and natural for users to socially interact with their collaborators or compe...
IJWIN
2006
14 years 9 months ago
2006
Abstract-- We consider a wireless sensor network consisting of a set of sensors deployed randomly. A point in the monitored area is covered if it is within the sensing range of a s...
103
click to vote
RTAS
2008
IEEE
15 years 4 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...