1969 search results - page 342 / 394 » Pattern Languages in Interaction Design |
100
click to vote
CEEMAS
2005
Springer
15 years 5 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
FLAIRS
2003
15 years 1 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
178
click to vote
POPL
2008
ACM
16 years 5 days ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
116
click to vote
ECOOP
2005
Springer
15 years 5 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
103
click to vote
NJC
2000
14 years 11 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...