2766 search results - page 378 / 554 » Hybridizing a Logical Framework |
145
click to vote
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
126
Voted
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...
138
click to vote
EUROMICRO
2003
IEEE
15 years 10 months ago
2003
IEEE
A Web service is frequently defined as browser-less access to content on a Web site. The industry’s focus to date has been on providing easy-to-use low-level libraries, tools a...
131
click to vote
IFIP
2003
Springer
15 years 9 months ago
2003
Springer
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
151
click to vote
ESWS
2010
Springer
15 years 9 months ago
2010
Springer
Novel wireless handheld devices allow the adoption of revised and adapted discovery approaches originally devised for the Semantic Web in mobile ad-hoc networks. Nevertheless, capa...