4276 search results - page 614 / 856 » Techniques for Empirical Validation |
141
click to vote
ICFEM
2007
Springer
16 years 19 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
199
click to vote
CCGRID
2006
IEEE
16 years 17 days ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
196
click to vote
IAT
2006
IEEE
16 years 16 days ago
2006
IEEE
Trust negotiation makes it possible for two parties to carry on secure transactions by first establishing trust through a bilateral, iterative process of requesting and disclosin...
171
click to vote
ISCAS
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract- We present an architecture and VLSI implemen- Various strategies in the analysis of spatio-temporal dynamtation of a distributed neural interface and spatio-temporal ics ...
186
click to vote
ECOOP
2005
Springer
16 years 19 hour ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...