1926 search results - page 149 / 386 » Modeling and Model Checking Software Product Lines |
175
click to vote
WCNC
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract— This paper explores integrated source-channel decoding, driven by wireless sensor network applications where correlated information acquired by the network is gathered ...
199
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
133
click to vote
HICSS
2008
IEEE
16 years 25 days ago
2008
IEEE
We describe questions that commonly arise in early-phase user research for new technology products concerning customer needs, priorities, and market definition. We suggest that me...
169
click to vote
GECCO
2007
Springer
16 years 16 days ago
2007
Springer
The problem of production and delivery lot-sizing and scheduling of set of items in a two-echelon supply chain over a finite planning horizon is addressed in this paper. A single ...
155
click to vote
QSIC
2005
IEEE
15 years 12 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...