6348 search results - page 789 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
180
click to vote
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...
201
click to vote
APSEC
2006
IEEE
16 years 28 days ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
187
click to vote
ISPW
2006
IEEE
16 years 26 days ago
2006
IEEE
The spiral lifecycle is being extended to address new challenges for Software-Intensive Systems of Systems (SISOS), such as coping with rapid change while simultaneously assuring h...
198
click to vote
ACL2
2006
ACM
16 years 25 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
179
click to vote
AOSD
2006
ACM
16 years 25 days ago
2006
ACM
In the web services environment software development can involve writing both object-oriented programs and XML transformations. This can be seen in the popular Web Services archit...