3623 search results - page 624 / 725 » Functionally Modeled User Interfaces |
112
click to vote
ADAEUROPE
2001
Springer
15 years 7 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
145
click to vote
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
114
click to vote
LREC
2010
15 years 4 months ago
2010
Automatically translating natural language into machine-readable instructions is one of major interesting and challenging tasks in Natural Language (NL) Processing. This problem c...
134
click to vote
MOBIHOC
2008
ACM
16 years 2 months ago
2008
ACM
Vehicular ad-hoc networks with inter-vehicular communications are a prospective technology which contributes to safer and more efficient roads and offers information and entertain...
168
click to vote
SDM
2012
SIAM
13 years 5 months ago
2012
SIAM
Multiple data sources containing different types of features may be available for a given task. For instance, users’ profiles can be used to build recommendation systems. In a...