Sciweavers

12670 search results - page 2352 / 2534
» Requirements Modeling
Sort
View
ECRTS
2007
IEEE
16 years 22 days ago
A Delay Composition Theorem for Real-Time Pipelines
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
Praveen Jayachandran, Tarek F. Abdelzaher
PERVASIVE
2010
Springer
15 years 8 months ago
Specification and Verification of Complex Location Events with Panoramic
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
Evan Welbourne, Magdalena Balazinska, Gaetano Borr...
ECIS
2003
15 years 7 months ago
Transacting with citizens: Australian government policy strategy and implementation of online tax lodgement
Many governments have shown leadership in encouraging their citizenry to conduct transactions on-line. The policies that underpin these initiatives refer to a blend of civic benef...
Jeff Chamberlain, Tanya Castleman
GRC
2010
IEEE
15 years 7 months ago
Learning Multiple Latent Variables with Self-Organizing Maps
Inference of latent variables from complicated data is one important problem in data mining. The high dimensionality and high complexity of real world data often make accurate infe...
Lili Zhang, Erzsébet Merényi
BMCBI
2010
142views more  BMCBI 2010»
15 years 6 months ago
Discover Protein Complexes in Protein-Protein Interaction Networks Using Parametric Local Modularity
Background: Recent advances in proteomic technologies have enabled us to create detailed protein-protein interaction maps in multiple species and in both normal and diseased cells...
Jongkwang Kim, Kai Tan
« Prev « First page 2352 / 2534 Last » Next »