10575 search results - page 294 / 2115 » Programming Languages |
170
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
185
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper investigates the use of programming language constructs to realize adaptive behavior in support of collaboration among users of wearable and handheld computers. A proto...
166
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
188
click to vote
PPDP
1999
Springer
15 years 10 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the rst modeling language to combine high-level algebraic and set notations f...
261
click to vote
DLS
2009
15 years 4 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...