7433 search results - page 1364 / 1487 » Management of Technology |
179
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
164
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
175
click to vote
ASSETS
2004
ACM
15 years 11 months ago
2004
ACM
Power wheelchair joysticks have been used to control a mouse cursor on desktop computers, but they offer no integrated text entry solution, confining users to point-and-click or p...
167
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
160
click to vote
KDD
2004
ACM
15 years 11 months ago
2004
ACM
World steel trade becomes more competitive every day and new high international quality standards and productivity levels can only be achieved by applying the latest computational...