7027 search results - page 517 / 1406 » Software process: a roadmap |
180
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
196
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Digital images can be forged easily with today’s widely available image processing software. In this paper, we describe a passive approach to detect digital forgeries by checkin...
159
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
- This paper deals with the concept of a control architecture for robot cells that enables Plug’n’Produce according to Plug’n’Play in the office world. To achieve this, a s...
194
click to vote
REFSQ
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Requirements engineering is still an area of software engineering in which theory and practice greatly differ. This work presents the results of an empirical study of ar...
326
click to vote
DELTA
2006
IEEE
16 years 1 months ago
2006
IEEE
The co-design of hardware and software systems with object oriented design languages like SystemC has become very popular. Static analysis of those descriptions allows to conduct ...