6800 search results - page 911 / 1360 » Testing with Functions as Specifications |
163
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
181
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
Wireless Sensor Networks (WSN) have specific constraints and stringent requirements in contrast to traditional wired and wireless computer networks. Among these specific requireme...
192
click to vote
VLSID
2008
IEEE
16 years 1 months ago
2008
IEEE
It is well-known that varying architectural, technological and implementation aspects of embedded microprocessors, such as ARM, can produce widely differing performance and power ...
198
click to vote
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
209
click to vote
ITICSE
2005
ACM
16 years 12 days ago
2005
ACM
concepts more concrete. The method has two main learning outcomes: • Language Specification – The goal of the assignment is to be able to build LEGO® creations on a standard g...