Sciweavers

2944 search results - page 355 / 589
» On Well Quasi-orders on Languages
Sort
View
SECURWARE
2008
IEEE
16 years 1 months ago
Formal Modeling of Authentication in SIP Registration
The Session Initiation Protocol (SIP) is increasingly used as a signaling protocol for administrating Voice over IP (VoIP) phone calls. SIP can be configured in several ways so t...
Anders Moen Hagalisletto, Lars Strand
SEMCO
2008
IEEE
16 years 1 months ago
Semantic Search Meets the Web
While semantic search technologies have been proven to work well in specific domains, they still have to confront two main challenges to scale up to the Web in its entirety. In th...
Miriam Fernández, Vanessa Lopez, Marta Sabo...
ASWEC
2007
IEEE
16 years 29 days ago
Formal Validation of Hierarchical State Machines against Expectations
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
Ian Toyn, Andy Galloway
FUZZIEEE
2007
IEEE
16 years 29 days ago
A Fuzzy Description Logic with Product T-norm
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...
Fernando Bobillo, Umberto Straccia
HICSS
2007
IEEE
129views Biometrics» more  HICSS 2007»
16 years 29 days ago
Multi-level Architectural Evolution Management
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
Tien N. Nguyen