3844 search results - page 708 / 769 » Modular interpreted systems |
145
Voted
SENSYS
2009
ACM
15 years 9 months ago
2009
ACM
Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, ...
138
click to vote
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
122
Voted
SASO
2008
IEEE
15 years 9 months ago
2008
IEEE
Currently, cycle sharing over the Internet is a one-way deal. Computer owners only have one role in the process: to donate their computers’ idle time. This is due to the fact th...
173
Voted
ABIALS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract— Starting from the situated and embodied perspective on the study of biological cognition as a source of inspiration, this paper programmatically outlines a path towards...
126
Voted
IEEESCC
2007
IEEE
15 years 9 months ago
2007
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...