5465 search results - page 262 / 1093 » Assigning Types to Processes |
119
click to vote
SIGCSE
2004
ACM
15 years 9 months ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...
115
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
The process of pair partnership formation is an important infrastructure for many plausible MAS applications. Each agent evaluates potential partner agents, where each potential m...
148
click to vote
COORDINATION
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
121
click to vote
ANOR
2006
15 years 4 months ago
2006
In this paper, we consider a BMAP/G/1 retrial queue with a server subject to breakdowns and repairs, where the life time of the server is exponential and the repair time is general...
133
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Comparative analysis of expression microarray studies is difficult due to the large influence of technical factors on experimental outcome. Still, the identified diffe...