Sciweavers

5180 search results - page 130 / 1036
» Requirements Engineering
Sort
View
153
Voted
TPHOL
1998
IEEE
15 years 7 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
142
Voted
AINA
2005
IEEE
15 years 9 months ago
Fast and Scalable Multi-TCAM Classification Engine for Wide Policy Table Lookup
With the explosive growth of Internet traffic, the next generation switches are designed to provide forwarding speed up to 10Gbps or above. To meet the challenges of delivering wi...
Nen-Fu Huang, Kwei-Bor Chen, Whai-En Chen
141
Voted
AGTIVE
2003
Springer
15 years 8 months ago
On Graphs in Conceptual Engineering Design
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
Janusz Szuba, Agnieszka Ozimek, Andy Schürr
ESWS
2008
Springer
15 years 5 months ago
Cicero: Tracking Design Rationale in Collaborative Ontology Engineering
Abstract. Creating and designing an ontology is a complex task requiring discussions between domain and ontology engineering experts as well as the users of an ontology. We present...
Klaas Dellschaft, Hendrik Engelbrecht, José...
129
Voted
IV
2006
IEEE
124views Visualization» more  IV 2006»
15 years 9 months ago
The Making of Trigger and the Agile Engineering of Artist-Scientist Collaboration
The agile process approach used in software engineering was adapted as a foundation for the management of the multimedia art installation project titled "Trigger." By be...
Francis T. Marchese