Sciweavers

1915 search results - page 141 / 383
» A language for functional interpretation of model based simu...
Sort
View
INFOCOM
2005
IEEE
15 years 10 months ago
Bounding the power rate function of wireless ad hoc networks
Abstract— Given a wireless ad hoc network and an endto-end traffic pattern, the power rate function refers to the minimum total power required to support different throughput un...
Yunnan Wu, Qian Zhang, Wenwu Zhu, Sun-Yuan Kung
119
Voted
ECOOP
2006
Springer
15 years 8 months ago
Modeling Runtime Behavior in Framework-Based Applications
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
Nick Mitchell, Gary Sevitsky, Harini Srinivasan
CANDC
2006
ACM
15 years 4 months ago
Hydrophobic collapse in (in silico) protein folding
A model of hydrophobic collapse, which is treated as the driving force for protein folding, is presented. This model is the superposition of three models commonly used in protein ...
Michal Brylinski, Leszek Konieczny, Irena Roterman
ISSTA
2004
ACM
15 years 10 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
VL
2003
IEEE
157views Visual Languages» more  VL 2003»
15 years 9 months ago
FoXQ -XQuery by forms
We introduce FoXQ, a visual language that would enable end users to query XML. Our aim is to develop a language that would bring a lot of the functionality of XQuery within the re...
Robin Abraham