2100 search results - page 156 / 420 » Fundamentals of the problem |
184
Voted
WWW
2006
ACM
16 years 6 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
158
click to vote
BIRTHDAY
2009
Springer
16 years 27 days ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
153
click to vote
ESOP
2009
Springer
16 years 27 days ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
168
Voted
ICASSP
2009
IEEE
16 years 26 days ago
2009
IEEE
Recent technological advances have made possible a number of new applications in the area of 3D video. One of the enabling technologies for many of these 3D applications is multiv...
164
click to vote
SADFE
2009
IEEE
16 years 25 days ago
2009
IEEE
Increasingly advances in file carving, memory analysis and network forensics requires the ability to identify the underlying type of a file given only a file fragment. Work to dat...