835 search results - page 7 / 167 » A calculus of challenges and responses |
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for serviceoriented applications. The interplay o...
SAINT
2003
IEEE
14 years 27 days ago
2003
IEEE
This paper presents a brief survey of current research in intrusion detection for wireless ad-hoc networks. In addition to examining the challenges of providing intrusion detectio...
EDM
2008
13 years 9 months ago
2008
How can an automated tutor assess children's spoken responses despite imperfect speech recognition? We address this challenge in the context of tutoring children in explicit s...
BMCBI
2006
13 years 7 months ago
2006
Background: An important step in understanding the conditions that specify gene expression is the recognition of gene regulatory elements. Due to high diversity of different types...
DEXAW
1998
IEEE
13 years 11 months ago
1998
IEEE
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...