9821 search results - page 240 / 1965 » A Framework for the Development of Protocols |
168
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
167
click to vote
ICDCS
2005
IEEE
16 years 9 days ago
2005
IEEE
Wireless sensor networks (WSNs) are difficult to program and usually run statically-installed software limiting its flexibility. To address this, we developed Agilla, a new midd...
178
click to vote
IRI
2005
IEEE
16 years 9 days ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
152
click to vote
ITICSE
2004
ACM
16 years 4 days ago
2004
ACM
Web technologies have become essential in the computing curricula. However, teaching a Web development course to computing students is challenging because of large bodies of knowl...
184
Voted
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...