2482 search results - page 251 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
213
Voted
ICDE
2001
IEEE
16 years 4 months ago
2001
IEEE
LeSelect is a mediator system which allows scientists to publish their resources (data and programs) so they can be transparently accessed. The scientists can typically issue quer...
115
Voted
ICTAI
2008
IEEE
15 years 9 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
148
Voted
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
124
Voted
ICSM
2002
IEEE
15 years 7 months ago
2002
IEEE
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical softwareupdate proces...
121
click to vote
ICFP
1999
ACM
15 years 7 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...