2813 search results - page 280 / 563 » Formalizing Architectural Connection |
168
click to vote
WIOPT
2005
IEEE
16 years 6 days ago
2005
IEEE
Wireless ad hoc networks raised a series of challenging research tracks. In order to analyze and validate research results achieved, thorough performance evaluation efforts are ne...
192
click to vote
CALCO
2005
Springer
16 years 5 days ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
187
click to vote
CPM
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we propose new solution methods for designing tag sets for use in universal DNA arrays. First, we give integer linear programming formulations for two previous formal...
134
click to vote
DIGRA
2005
Springer
16 years 5 days ago
2005
Springer
Through the combined efforts of many dedicated researchers across the globe, the “message” of the value of games for learning is starting to be heard in formal education, but ...
157
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...