1012 search results - page 165 / 203 » Communications Systems Driven by Software Agent Technology |
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
APSEC
2003
IEEE
15 years 5 months ago
2003
IEEE
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
ICCD
2000
IEEE
15 years 8 months ago
2000
IEEE
: Mobile processors form a large and very fast growing segment of semiconductor market. Although they are used in a great variety of embedded systems such as personal digital organ...
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
Continuing trends in sensor, semiconductor and communication systems technology (smaller, faster, cheaper) make feasible very dense networks of fixed and mobile wireless devices ...
101
click to vote
AQUILEIA
2011
13 years 11 months ago
2011
Basic ideas are presented of a multi-national research project to share data about the Roman city of Aquileia employing the Information and Communication Technologies (ICT). A Cons...