Sciweavers

1527 search results - page 192 / 306
» From Requirements to Design: Formalizing the Key Steps
Sort
View
LREC
2008
155views Education» more  LREC 2008»
15 years 7 months ago
OpenCCG Workbench and Visualization Tool
Combinatorial Category Grammar is (CCG) a lexicalized grammar formalism which is expressed by syntactic category, a logical form representation. There are difficulties in represen...
Thepchai Supnithi, Suchinder Singh, Taneth Ruangra...
HICSS
2007
IEEE
181views Biometrics» more  HICSS 2007»
16 years 16 days ago
A Methodology to Evaluate Agent Oriented Software Engineering Techniques
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
Chia-En Lin, Krishna M. Kavi, Frederick T. Sheldon...
JSAC
2007
80views more  JSAC 2007»
15 years 6 months ago
System Architecture and Cross-Layer Optimization of Video Broadcast over WiMAX
— Video broadcast and Mobile TV have received significant interests from both academia and industry recently. The emerging Mobile WiMAX (802.16e) is capable of providing high da...
Jianfeng Wang, Muthaiah Venkatachalam, Yuguang Fan...
CARDIS
2006
Springer
146views Hardware» more  CARDIS 2006»
15 years 10 months ago
SEA: A Scalable Encryption Algorithm for Small Embedded Applications
Most present symmetric encryption algorithms result from a tradeoff between implementation cost and resulting performances. In addition, they generally aim to be implemented effici...
François-Xavier Standaert, Gilles Piret, Ne...
BMCBI
2004
154views more  BMCBI 2004»
15 years 6 months ago
Computation of elementary modes: a unifying framework and the new binary approach
Background: Metabolic pathway analysis has been recognized as a central approach to the structural analysis of metabolic networks. The concept of elementary (flux) modes provides ...
Julien Gagneur, Steffen Klamt