Sciweavers

694 search results - page 110 / 139
» Comparison of software architecture reverse engineering meth...
Sort
View
DAC
2003
ACM
16 years 22 days ago
Improved global routing through congestion estimation
In this paper, we present a new method to improve global routing results. By using an amplified congestion estimate to influence a rip-up and reroute approach, we obtain substanti...
Raia Hadsell, Patrick H. Madden
FASE
2005
Springer
15 years 5 months ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
SOCO
2008
Springer
14 years 10 months ago
Context-aware, self-scaling Fuzzy ArtMap for received signal strength based location systems
Location awareness is the key capability of mobilecomputingapplications. Despitehighdemand, indoor location technologies have not become truly ubiquitous mainly due to their requir...
Uzair Ahmad, Andrey Gavrilov, Young-Koo Lee, Sungy...
CODES
2007
IEEE
15 years 6 months ago
Combined approach to system level performance analysis of embedded systems
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
Simon Künzli, Arne Hamann, Rolf Ernst, Lothar...
IPM
2008
155views more  IPM 2008»
14 years 11 months ago
Determining the informational, navigational, and transactional intent of Web queries
In this paper, we define and present a comprehensive classification of user intent for Web searching. The classification consists of three hierarchical levels of informational, na...
Bernard J. Jansen, Danielle L. Booth, Amanda Spink