10156 search results - page 1843 / 2032 » Step by Step to Histories |
225
click to vote
EWCBR
2006
Springer
15 years 11 months ago
2006
Springer
Ambient Intelligence is a research area that has gained a lot of attention in recent years. One of the most important issues for ambient intelligent systems is to perceive the envi...
223
click to vote
FM
2006
Springer
15 years 11 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
222
click to vote
CCGRID
2001
IEEE
15 years 11 months ago
2001
IEEE
Charging of services in a distributed system will become more and more important for systems which are utilized commercially. Such an important distributed system exists in form o...
234
click to vote
PASTE
2010
ACM
15 years 11 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
185
click to vote
DAS
2010
Springer
15 years 10 months ago
2010
Springer
A novel text extraction method from graphical document images is presented in this paper. Graphical document images containing text and graphics components are considered as two-d...