7892 search results - page 155 / 1579 » Programming with Models |
100
click to vote
ILP
2000
Springer
15 years 5 months ago
2000
Springer
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...
108
click to vote
LCTRTS
2004
Springer
15 years 6 months ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
108
click to vote
AAAI
2008
15 years 3 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
118
click to vote
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
CHI
2005
ACM
16 years 1 months ago
2005
ACM
The development of programming skills is a motivating issue in computer science. Programming languages have been increasingly used to map end-users needs and mental models. The nu...