2226 search results - page 278 / 446 » Pdk: The System and Its Language |
166
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The eXtensible Markup Language (XML) is regarded generally as having promise of becoming established as the general purpose framework for enabling transfer of data amongst heterog...
169
click to vote
AI
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
135
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
190
Voted
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
179
click to vote
WER
2000
Springer
15 years 10 months ago
2000
Springer
Recently, it has been pointed out that the majority of the requirements engineering methods do not take into account non-functional requirements (NFRs) [10][11]. Consequently, we h...