2520 search results - page 156 / 504 » Model-checking behavioral programs |
174
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
151
click to vote
GI
2008
Springer
15 years 7 months ago
2008
Springer
: Dealing with context information is an important concern for mobile service computing. However, modern frameworks and programming languages do not directly support context-depend...
166
click to vote
FUIN
1998
15 years 5 months ago
1998
Genetic programming (Koza 1992) is a method of inducing behaviors represented as executable programs. The generality of the approach has spawned a proliferation of work in the evo...
263
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
163
click to vote
HPCA
2003
IEEE
16 years 6 months ago
2003
IEEE
Java-based middleware, and application servers in particular, are rapidly gaining importance as a new class of workload for commercial multiprocessor servers. SPEC has recognized ...