6320 search results - page 123 / 1264 » Towards Situated Computing |
135
Voted
TCS
2008
15 years 5 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
128
Voted
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper, three new methods for pushing solutions toward a desired region of the objective space more quickly are explored; hypercube distance scaling, dynamic objective t...
120
click to vote
PPAM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The paper contains an extension of a formal model of multiagent computing system developed in previous publications towards considering a more general system state. We pr...
145
Voted
METAINFORMATICS
2004
Springer
15 years 10 months ago
2004
Springer
This paper is focusing on some interesting issues about service publicity and usability while trying to move from the classic Open Hypermedia Systems (OHSs) to structural aware env...
106
click to vote
CIMCA
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes an innovative work for nanorobot design and manufacturing, using a computer simulation and system on chip prototyping approach. The use of CMOS as integrated ...