1913 search results - page 359 / 383 » Architectural Concepts in Programming Languages |
HICSS
2003
IEEE
14 years 25 days ago
2003
IEEE
The Web, the collection of all devices connected to the Internet, is on the verge of experiencing a massive evolution from a Web of Computers to a Web of Things as new devices suc...
IPPS
2003
IEEE
14 years 24 days ago
2003
IEEE
This paper describes a process for the semi-automatic conversion of numerical and scientific routines written in the C programming language into Triana-based computational servic...
SCAM
2003
IEEE
14 years 24 days ago
2003
IEEE
Software maintenance, program analysis and transformation tools almost always rely on static source code analysis as the first and fundamental step to gather information. In the ...
SIGSOFT
2003
ACM
14 years 23 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
UM
2010
Springer
14 years 17 days ago
2010
Springer
The increasing trend towards powerful mobile phones opens many possibilities for valuable personalised services to be available on the phone. Client-side personalisation for these ...