3733 search results - page 599 / 747 » Logics of communication and change |
214
click to vote
WSTFEUS
2003
IEEE
15 years 11 months ago
2003
IEEE
SCA (Software Communication Architecture), which has been adopted as a SDR (Software Defined Radio) Forum standard, provides a framework that successfully exploits common design p...
152
click to vote
SPAA
2003
ACM
15 years 11 months ago
2003
ACM
Previous implementations of out-of-core columnsort limit the problem size to N ≤ (M/P)3/2, where N is the number of records to sort, P is the number of processors, and M is the ...
186
click to vote
WMASH
2003
ACM
15 years 11 months ago
2003
ACM
In recent years, wireless Internet service providers (WISPs) have established Wi-Fi hotspots in increasing numbers at public venues, providing local coverage to traveling users an...
172
click to vote
ASM
2003
ASM
15 years 11 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
195
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Most agent systems today are closed and static. That is, one uses Agent-Oriented Software Engineering techniques to build agent systems in which the set of agents is specified ahe...