Sciweavers

746 search results - page 25 / 150
» On the Generation of Oriented Matroids
Sort
View
ICC
2009
IEEE
119views Communications» more  ICC 2009»
14 years 3 months ago
Secure Signaling in Next Generation Networks with NSIS
—The IETF working group Next Steps in Signaling (NSIS) develops signaling protocols for Quality-of-Service (QoS) reservations or dynamic NAT and firewall (NAT/FW) configuration...
Roland Bless, Martin Röhricht
ATAL
2007
Springer
14 years 2 months ago
AUML protocols and code generation in the Prometheus design tool
Prometheus is an agent-oriented software engineering methodology. The Prometheus Design Tool (PDT) is a software tool that supports a designer who is using the Prometheus methodol...
Lin Padgham, John Thangarajah, Michael Winikoff
FATES
2004
Springer
14 years 2 months ago
Using Model Checking for Reducing the Cost of Test Generation
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
Hyoung Seok Hong, Hasan Ural
CHI
1995
ACM
14 years 6 days ago
Hyper-G and harmony: towards the next generation of networked information technology
Current networked information systems on the Internet, whilst extremely successful, run into problems of fragmentation, consistency, scalability, and loss of orientation. The deve...
Keith Andrews, Frank Kappe, Hermann A. Maurer
ACMACE
2009
ACM
13 years 12 months ago
Zuzen, a cloud-based framework for automated machinima generation
The Zuzen framework is an intelligent tool set for assisting in the generation of machinima. With Zuzen, users that are novice cinematographers do not need to use complex movie-ma...
Samuel Munilla, R. Michael Young