664 search results - page 107 / 133 » Building continuous webbed models for system F |
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this article we explore the short and largely undocumented history of electronic government, discuss the literature of e-government at the local government level, and document ...
102
click to vote
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
79
Voted
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
ICDCS
2002
IEEE
15 years 2 months ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...
TREC
2000
14 years 11 months ago
2000
Dublin City University (DCU) took part in the Web Track (small task) in TREC-9. Our experiments were based on evaluating a number of connectivity analysis algorithms that we hoped...