1522 search results - page 175 / 305 » Supporting Dynamic Process Specifications Using Communicatio... |
268
click to vote
GIS
2006
ACM
16 years 3 months ago
2006
ACM
Remotely sensed data, in particular satellite imagery, play many important roles in environmental applications and models. In particular applications that study (rapid) changes in...
100
Voted
SBACPAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Comparison of the DNA sequences and genes of two genomes can be useful to investigate the common functionalities of the corresponding organisms and get a better understanding of h...
130
Voted
TSE
1998
15 years 2 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
153
click to vote
RE
2010
Springer
14 years 9 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
103
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...