6274 search results - page 107 / 1255 » Proofs, Programs, Processes |
137
Voted
CLEIEJ
2010
15 years 1 hour ago
2010
Logic programming is one of the most important subjects for students pursuing a degree in Information Technology and Communication (ITC) at higher education institutions. Teaching ...
111
click to vote
CCE
2010
15 years 8 hour ago
2010
Sustainability has recently emerged as a key issue in process systems engineering (PSE). Mathematical programming techniques offer a general modeling framework for including enviro...
129
Voted
CSMR
2005
IEEE
15 years 8 months ago
2005
IEEE
Well-designed object-oriented programs typically consist of a few key classes that work tightly together to provide the bulk of the functionality. As such, these key classes are e...
124
Voted
CL
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
122
Voted
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...