Sciweavers

2416 search results - page 96 / 484
» The Language of Cortical Dynamics
Sort
View
LATA
2010
Springer
13 years 7 months ago
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
Fernando Rosa Velardo, Giorgio Delzanno
WWW
2008
ACM
14 years 9 months ago
A domain-specific language for the model-driven construction of advanced web-based dialogs
Complex dialogs with comprehensive underlying data models are gaining increasing importance in today's Web applications. This in turn accelerates the need for highly dynamic ...
Patrick Freudenstein, Martin Nussbaumer, Florian A...
WWW
2001
ACM
14 years 9 months ago
Content Request Markup Language (CRML): a Distributed Framework for XML-based Content Publishing
Construct web applications to provide dynamic, personalized web contents with high scalability and performance is a challenge to the software industry in the new Internet era. In ...
Chi-Huang Chiu, Kai-Chih Liang, Shyan-Ming Yuan
FCCM
2008
IEEE
165views VLSI» more  FCCM 2008»
14 years 3 months ago
Performance Analysis with High-Level Languages for High-Performance Reconfigurable Computing
High-Level Languages (HLLs) for FPGAs (FieldProgrammable Gate Arrays) facilitate the use of reconfigurable computing resources for application developers by using familiar, higher...
John Curreri, Seth Koehler, Brian Holland, Alan D....
SAC
2006
ACM
14 years 2 months ago
A UML 2-compatible language and tool for formal modeling real-time system architectures
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
Pietro Colombo, Matteo Pradella, Matteo Rossi