Sciweavers

694 search results - page 110 / 139
» Comparison of software architecture reverse engineering meth...
Sort
View
106
Voted
DAC
2003
ACM
16 years 4 months 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
126
Voted
FASE
2005
Springer
15 years 9 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ö...
158
Voted
SOCO
2008
Springer
15 years 1 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 9 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»
15 years 3 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