3706 search results - page 563 / 742 » KtSeqC: System Description |
166
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
157
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Coordinating agents in a complex environment is a hard problem, but it can become even harder when certain characteristics of the tasks, like the required number of agents, are un...
176
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an exa...
163
click to vote
ACMICEC
2003
ACM
15 years 10 months ago
2003
ACM
Current eCommerce is still mainly characterized by the relatively straightforward trading of commodity goods. Nextgeneration efforts in worldwide information infrastructure, espec...
155
click to vote
ICAIL
1995
ACM
15 years 10 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...