2212 search results - page 272 / 443 » Automated software wrapping |
145
click to vote
KBSE
2008
IEEE
16 years 19 days ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
183
click to vote
SUTC
2008
IEEE
16 years 18 days ago
2008
IEEE
— In this paper we discuss the design methodology based on the service-oriented architecture and agile development principles for wireless embedded and sensor networks (WSNs). Th...
159
click to vote
ACSAC
2007
IEEE
16 years 18 days ago
2007
IEEE
Detection of malicious software (malware) by the use of static signatures is often criticized for being overly simplistic. Available methods of obfuscating code (so-called metamor...
166
click to vote
AGILEDC
2007
IEEE
16 years 18 days ago
2007
IEEE
Test-Driven Development (TDD) is an agile practice that is widely accepted and advocated by most agile methods and methodologists. In this paper, we report on a post hoc analysis ...
176
click to vote
ASWEC
2007
IEEE
16 years 18 days ago
2007
IEEE
Service Oriented Computing (SOC) is a paradigm for building new software applications from existing loosely-coupled services. During service composition, services available to pla...