Sciweavers

744 search results - page 131 / 149
» Studying Knowledge Management System Success in System Admin...
Sort
View
OSDI
2008
ACM
14 years 8 months ago
Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions
Abstract ? Large enterprise networks consist of thousands of services and applications. The performance and reliability of any particular application may depend on multiple service...
Xu Chen, Ming Zhang, Zhuoqing Morley Mao, Paramvir...
BMCBI
2007
151views more  BMCBI 2007»
13 years 7 months ago
The Genopolis Microarray Database
Background: Gene expression databases are key resources for microarray data management and analysis and the importance of a proper annotation of their content is well understood. ...
Andrea Splendiani, Marco Brandizi, Gael Even, Otta...
CAV
2005
Springer
173views Hardware» more  CAV 2005»
14 years 1 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
HICSS
2007
IEEE
132views Biometrics» more  HICSS 2007»
14 years 2 months ago
Using Agile Practices to Spark Innovation in a Small to Medium Sized Business
The media industry is challenged to find new lines of business as technology redefines content, distribution and customer expectations. This is a case study of Oxygen Media where ...
Ken H. Judy, Ilio Krumins-Beens
ROBOCUP
2009
Springer
150views Robotics» more  ROBOCUP 2009»
14 years 2 months ago
Communicating among Robots in the RoboCup Middle-Size League
Abstract. The RoboCup Middle-Size League robotic soccer competitions pose a real cooperation problem for teams of mobile autonomous robots. In the current state-of-practice coopera...
Frederico Santos, Luís Almeida, Luís...